FakeProjectionsDoNotPreserveGuardedness.agda:28,1-34,29
Termination checking failed for the following functions:
  repeat, repeat'
Problematic calls:
  repeat' a
    (at FakeProjectionsDoNotPreserveGuardedness.agda:31,25-32)
  FakeProjectionsDoNotPreserveGuardedness.♯-0
    (at FakeProjectionsDoNotPreserveGuardedness.agda:34,19-20)
  repeat a
    (at FakeProjectionsDoNotPreserveGuardedness.agda:34,21-27)
